00 6 COCOMPACT ARITHMETIC SUBGROUPS OF PU ( n − 1 , 1 ) WITH EULER - POINCARÉ CHARACTERISTIC n AND A FAKE

We will say that a smooth complex projective algebraic variety V (of dimension n− 1) is a fake Pn−1 if V is the quotient of the unit ball Bn−1 in Cn−1by a torsion-free cocompact discrete subgroup of PU(n−1, 1), and all the Betti numbers of V are equal to those of Pn−1 C . If the fundamental group of a fake Pn−1 is an arithmetic subgroup of PU(n − 1, 1), then we will say that it is an arithmetic fake Pn−1. It follows from the results of this paper that arithmetic fake Pn−1 can exist only if n = 3 or 5. We have shown in [PY] that there are at least twelve distinct classes of fake P. We will show here that there exists an arithmetic fake P.